00010	AXIOM
00020	
00030	AONTOP
00040	NIL
00050	NIL
00060	NIL
00070	ROBOT(X1);ON(X1,X2);¬STACKED(X3,X2);;
00080	ONTOP(X1);;
00090	
00100	OP
00200	STANDON(R1,Z1)
00300	NIL
00400	NIL
00500	NIL
00600	ROBOT(R1);BOX(Z1);AT(Z1,Y1);AT(R1,Y1);;
00700	ON(R1,Z1);;
00800	
00900	OP
01000	STEPUP(X1,Y1,Z1)
01100	NIL
01200	NIL
01300	NIL
01400	BOX(Z1);ROBOT(X1);STACKED(Z1,Y1);ON(X1,Y1);;
01500	ON(X1,Z1);;
01600	
01700	ITERATIVE
01800	ITONTOP
01900	NIL NIL NIL
02000	ROBOT(X1);ON(X1,X2);;
02100	ON(X1,X3);;
02150	¬=(X4,X3);ON(X1,X4);;
02200	STACKED(X4,X3);;
02300	ONTOP(X1);;
02350	ONTOP(X1);;
02400	NIL 
02500	NIL
02600	 AT(M,L);
02700	AT(B1,L);STACKED(B3,B2);STACKED(B2,B1);BOX(B1);BOX(B2);
02750	BOX(B4);STACKED(B4,B3);
02800	BOX(B3);ROBOT(M);;
02900	
03000	T
03200	((ROBOT NIL NIL NIL NIL)
03300	(AT T NIL NIL (X,*))
03400	(STACKED T NIL NIL (X,*))
03500	(BOX NIL NIL NIL NIL)
03550	(ONTOP T NIL NIL NIL)
03600	(ON T NIL NIL (X,*)))
03700	NIL